6dd86540f8a4c365a6ede1818a516dcbe2b081fa,src/com/vaadin/terminal/gwt/client/ui/VTabsheetPanel.java,VTabsheetPanel,fixVisibleTabSize,#number#number#number#,162
Before Change
getElement().getStyle().setPropertyPx("height", height);
// widget wrapper height
wrapperDiv.getStyle().setPropertyPx("height", height);
}
public void replaceComponent(Widget oldComponent, Widget newComponent) {
After Change
// v-tabsheet-tabsheetpanel height
getElement().getStyle().setPropertyPx("height", height);
if (dynamicHeight) {
wrapperDiv.getStyle().clearHeight();
} else {
// widget wrapper height
wrapperDiv.getStyle().setPropertyPx("height", height);
}
}